home *** CD-ROM | disk | FTP | other *** search
/ MacHack 1994 / MacHack 1994.toast / MacHack™94 / Talks & Papers / Timothy Knox / Help / Help Files / ATMS / Description < prev    next >
Encoding:
Text File  |  1994-06-24  |  193 b   |  1 lines  |  [TEXT/ttxt]
  1. This folder contains two different releases of an ATMS oriented propositionnal (boolean) prover. It is documented in a PhD thesis by Olivier Palmade, directed by Michel Cayrol (cayrol@irit.fr).